On memory models and cache management for shared-memory multiprocessors
نویسندگان
چکیده
Shared-memory multiprocessors should be designed to provide for correct execution of programs constructed according to a chosen program execution model. In this paper, we use data ow signal graphs as a program execution model for programs structured as nests of (possibly recursive) functions, and using incremental arrays with I-structure semantics. We introduce a memory model for the memory system of a shared-memory multiprocessor that has synchronizing write and read operations, and discuss how it supports our program execution model. An implementation of the memory model is presented that includes caching of remote words. The relationship of our model to the Monsoon multiprocessor and other latency-tolerant multiprocessor architectures is discussed, and it is also contrasted with multiprocessor designs based on memory consistency models.
منابع مشابه
Data Merging for Shared Memory Multiprocessors
Cache coherence, delayed consistency, shared memory multiprocessors We describe an e cient software cache consistency mechanism for shared memory multiprocessors that supports multiple writers and works for cache lines of any size. Our mechanism relies on the fact that, for a correct program, only the global memory needs a consistent view of the shared data between synchronization points. Our d...
متن کاملSoftware Caching on Cache-Coherent Multiprocessors
Programmers have always been concerned with data distribution and remote memory access costs on shared-memory multiprocessors that lack coherent caches, like the BBN Butterry. Recently memory latency has become an important issue on cache-coherent multiprocessors, where dramatic improvements in microprocessor performance have increased the relative cost of cache misses and coherency transaction...
متن کاملParallel Cache Management of a RDBMS 1
Increasing requirements such as higher transaction rates, shorter response times etc., make it necessary to parallelize existing database management systems and to implement them on multiprocessors. Shared memory multiprocessors are not arbitrarily scalable, and thus do not meet future requirements. Therefore, it makes sense to implement databases on large-scale distributed memory multicomputer...
متن کاملA performance evaluation of cache injection in bus-based shared memory multiprocessors
Bus-based shared memory multiprocessors with private caches and snooping write-invalidate cache coherence protocols are dominant form of smallto medium-scale parallel machines today. In these systems the high memory latency poses the major hurdle in achieving high performance. One way to cope with this problem is to use various techniques for tolerating high memory latency. Software-controlled ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995